#include "pthreadlist.h"

void create_PthreadList(Element *pthreadA, const Element pthreadB)
{
  pthread_t **a = (pthread_t **)pthreadA;
  pthread_t *b = (pthread_t *)pthreadB;
  (*a) = (pthread_t *) malloc (sizeof(pthread_t));
  (*a)[0] = (*b);
}

void delete_PthreadList(Element *pthreadA)
{
  pthread_t **a = (pthread_t **) pthreadA;
  free((*a));
  (*a) = NULL;
}
